<?php
 
	// Little hack so we can load in header from other places.
	$folder = "./";
	if (isset($folderOverride))
	{
		$folder = $folderOverride;
	}
	
	$divId = "swxnav";
	if (isset($divPrefix)) 
	{
		$divId = $divPrefix . $divId;
	}

	if (!isset($current)) $current = 1;

	$divTag = '<div id="'.$divId.'" align="center">'
		. '<p><a href="'.$folder.'index.php">Home</a> | '
		. '<a href="'.$folder.'php/services/">Services folder</a> | '
		. '<a href="'.$folder.'flash/examples/">Flash examples</a> | '
		. '<a href="'.$folder.'flex/examples/">Flex examples</a> | '
		. '<a href="'.$folder.'php/explorer/" target="_blank">SWX Service Explorer</a> | '
		. '<a href="'.$folder.'php/analyzer/" target="_blank">SWX Data Analyzer</a> | '
		. '<a href="http://code.google.com/p/swx-format/w/list">Documentation</a> | '
		. '<a href="http://swxformat.org">swxformat.org</a></p></div>';

	echo $divTag;
	
	$scriptTag = '<script type="text/javascript" defer="defer"> /*<!--*/ var so = new SWFObject("'
		.$folder.'site/swfs/nav.swf", "nav_swf", "955", "100", "8");  so.addVariable("current", "'.$current.'");'
		.' so.addVariable("servicesFolder", "'.$servicesFolder.'"); so.addVariable("examplesFolder", "'.$examplesFolder.'");' 			
		.' so.write("'.$divId.'"); /*-->*/ </script>';
		
	echo $scriptTag;
?>
<br />
